functor F(
  A : sig
    exception E
  end
) =
struct
(*  exception A = A.E *)
    exception E = A.E
end
